Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
121	Microsoft Word - f1488_1.doc Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification
122	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-06-18 08:41:01 Hadoop Parallel computing Cloud infrastructure Formal sciences Apache Software Foundation Apache Hadoop Apache Mahout Cluster analysis Big data MapReduce K-means clustering Hierarchical clustering
123	Interactive Data Mining Considered Harmful∗ (If Done Wrong) Pauli Miettinen Max-Planck-Institut für Informatik Saarbrücken, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2014-10-05 15:48:36 Hypothesis testing Design of experiments Formal sciences Statistical inference Data mining Data analysis Null hypothesis Statistics Statistical hypothesis testing Algorithm Examples of data mining Data dredging
124	Modelling and Analysis of Communications Services Ken Turner Computing Science and Mathematics www.cs.stir.ac.uk/~kjt/research/cress.html Add to Reading List Source URL: www.cs.stir.ac.uk Language: English - Date: 2010-06-14 06:24:22 Formal methods Systems engineering Theoretical computer science Formal verification Logic in computer science Specification Object Process Methodology Cress Verification Diagram
125	Context-Sensitive Analysis of Obfuscated x86 Executables ∗ Arun Lakhotia† Davidson R. Boccardo‡ † Add to Reading List Source URL: www.cacs.louisiana.edu Language: English - Date: 2009-11-13 12:16:34 Symbol Abstract interpretation Determinacy Pointer Stack Data-flow analysis Low-level programming language Formal languages
126	The 3rd CUBIST Workshop CUBIST-WS-13 Simon Andrews, Frithjof Dau (Eds.) Simon Andrews, Frithjof Dau (Eds.): Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:22:04 Online analytical processing Data management Information technology management Business intelligence Data warehousing OLAP cube Formal concept analysis Data warehouse Cube Comparison of OLAP Servers
127	Discovering Unanticipated Dependency Schemas in Class Hierarchies ∗ Gabriela Ar´evalo, St´ephane Ducasse, Oscar Nierstrasz Software Composition Group, University of Bern www.iam.unibe.ch/∼scg Abstract Object-orient Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25 Object-oriented programming Ontology Inheritance Class Formal concept analysis Method overriding Schema Method Dependency grammar
128	Formal Solutions of Linear Differential Systems with Essential Singularities in their Coefficients Thomas Cluzeau University of Limoges ; CNRS ; XLIM (France) Joint work with M. A. Barkatou and A. Jalouli Add to Reading List Source URL: www.issac-symposium.org Language: English - Date: 2015-07-08 08:52:31 Complex analysis Ordinary differential equations Operator theory Meromorphic functions Partial differential equations Complex number Singularity Essential singularity Movable singularity Pole Residue Confluent hypergeometric function
129	Generating Subjective Responses to Opinionated Articles in Social Media: An Agenda-Driven Architecture and a Turing-Like Test Tomer Cagan School of Computer Science The Interdisciplinary Center Herzeliya, Israel Add to Reading List Source URL: www.stefanfrank.info Language: English - Date: 2014-05-26 04:14:00 Humancomputer interaction Natural language processing Formal sciences Affective computing Sentiment analysis Computational linguistics Framing CONFER Emotion Persuasive technology Social media Computer science
130	17 Econometric Modeling as Junk Science Add to Reading List Source URL: crab.rutgers.edu Language: English - Date: 2002-03-10 15:37:58 Econometrics Statistical methods Formal sciences More Guns Less Crime Regression analysis John Lott Right-to-carry law Regression Statistics Economic data Gun control Multivariate analysis

UPDATE